Combining Texts

All the ideas for 'Dissoi Logoi - on Double Arguments', 'Which Logic is the Right Logic?' and 'fragments/reports'

expand these ideas     |    start again     |     specify just one area for these texts

35 ideas

1. Philosophy / B. History of Ideas / 2. Ancient Thought
1542 Diogenes of Apollonia was the last natural scientist [Diogenes of Apollonia, by Simplicius]
3. Truth / H. Deflationary Truth / 2. Deflationary Truth
1564 True and false statements can use exactly the same words [Anon (Diss)]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX
10775 The axiom of choice now seems acceptable and obvious (if it is meaningful) [Tharp]
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
10766 Logic is either for demonstration, or for characterizing structures [Tharp]
5. Theory of Logic / A. Overview of Logic / 5. First-Order Logic
10767 Elementary logic is complete, but cannot capture mathematics [Tharp]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
10769 Second-order logic isn't provable, but will express set-theory and classic problems [Tharp]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / b. Basic connectives
10762 In sentential logic there is a simple proof that all truth functions can be reduced to 'not' and 'and' [Tharp]
5. Theory of Logic / G. Quantification / 2. Domain of Quantification
10776 The main quantifiers extend 'and' and 'or' to infinite domains [Tharp]
5. Theory of Logic / G. Quantification / 7. Unorthodox Quantification
10774 There are at least five unorthodox quantifiers that could be used [Tharp]
5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
10773 The Löwenheim-Skolem property is a limitation (e.g. can't say there are uncountably many reals) [Tharp]
10777 Skolem mistakenly inferred that Cantor's conceptions were illusory [Tharp]
5. Theory of Logic / K. Features of Logics / 3. Soundness
10765 Soundness would seem to be an essential requirement of a proof procedure [Tharp]
5. Theory of Logic / K. Features of Logics / 4. Completeness
10763 Completeness and compactness together give axiomatizability [Tharp]
5. Theory of Logic / K. Features of Logics / 5. Incompleteness
10770 If completeness fails there is no algorithm to list the valid formulas [Tharp]
5. Theory of Logic / K. Features of Logics / 6. Compactness
10771 Compactness is important for major theories which have infinitely many axioms [Tharp]
10772 Compactness blocks infinite expansion, and admits non-standard models [Tharp]
5. Theory of Logic / K. Features of Logics / 8. Enumerability
10764 A complete logic has an effective enumeration of the valid formulas [Tharp]
10768 Effective enumeration might be proved but not specified, so it won't guarantee knowledge [Tharp]
9. Objects / F. Identity among Objects / 7. Indiscernible Objects
489 Each thing must be in some way unique [Diogenes of Apollonia]
12. Knowledge Sources / A. A Priori Knowledge / 2. Self-Evidence
483 Start a thesis with something undisputable [Diogenes of Apollonia]
12. Knowledge Sources / B. Perception / 6. Inference in Perception
1544 Perception must be an internal matter, because we can fail to perceive when we are preoccupied [Diogenes of Apollonia, by Theophrastus]
13. Knowledge Criteria / E. Relativism / 4. Cultural relativism
1559 Thracians think tattooing adds to a girl's beauty, but elsewhere it is a punishment [Anon (Diss)]
1560 Lydians prostitute their daughters to raise a dowery, but no Greek would marry such a girl [Anon (Diss)]
1561 Anything can be acceptable in some circumstances and unacceptable in others [Anon (Diss)]
17. Mind and Body / E. Mind as Physical / 1. Physical Mind
24042 The older Diogenes said the soul is air, made of the smallest particles [Diogenes of Apollonia]
20. Action / C. Motives for Action / 3. Acting on Reason / b. Intellectualism
1567 How could someone who knows everything fail to act correctly? [Anon (Diss)]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / j. Ethics by convention
1563 Every apparent crime can be right in certain circumstances [Anon (Diss), by PG]
22. Metaethics / C. The Good / 1. Goodness / g. Consequentialism
1562 It is right to lie to someone, to get them to take medicine they are reluctant to take [Anon (Diss)]
24. Political Theory / D. Ideologies / 5. Democracy / b. Consultation
1566 The first priority in elections is to vote for people who support democracy [Anon (Diss)]
25. Social Practice / E. Policies / 5. Education / c. Teaching
1565 We learn language, and we don't know who teaches us it [Anon (Diss)]
26. Natural Theory / A. Speculations on Nature / 2. Natural Purpose / a. Final purpose
5995 Diogenes of Apollonia offered the first teleological account of cosmology [Diogenes of Apollonia, by Robinson,TM]
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / c. Ultimate substances
484 Everything is ultimately a variation of one underlying thing [Diogenes of Apollonia]
488 Air is divine, because it is in and around everything, and arranges everything [Diogenes of Apollonia]
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / f. Ancient elements
486 Plants and animals can only come into existence if something fixes their species [Diogenes of Apollonia]
485 Things must retain their essential nature during change, or mixing would be impossible [Diogenes of Apollonia]